Boule, Marc: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2006 IEEE International High Level Design Validation and Test Workshop - Monterey, CA, USA (2006.11.8-2006.11.10)] 2006 IEEE International High Level Design Validation and Test Workshop - Efficient Automata-Based Assertion-Checker Synthesis of PSL Properties

Boule, Marc, Zilic, Zeljko

Year:

2006

Language:

english

File:

PDF, 9.86 MB

english, 2006

2

[IEEE 2008 IEEE International High Level Design Validation and Test Workshop (HLDVT) - Incline Village, NV, USA (2008.11.19-2008.11.21)] 2008 IEEE International High Level Design Validation and Test Workshop - Proving and disproving assertion rewrite rules with automated theorem provers

Morin-Allory, Katell, Boule, Marc, Borrione, Dominique, Zilic, Zeljko

Year:

2008

Language:

english

File:

PDF, 332 KB

english, 2008

3

The Vegetation of Fisherman Island, Virginia

Journal:

Year:

1979

Language:

english

File:

PDF, 335 KB

english, 1979

4

[IEEE 2014 4th Interdisciplinary Engineering Design Education Conference (IEDEC) - Santa Clara, CA, USA (2014.03.3-2014.03.3)] Fourth Interdisciplinary Engineering Design Education Conference - The role of Finite Element Method software in the teaching of electromagnetics

Year:

2014

Language:

english

File:

PDF, 518 KB

english, 2014

5

[IEEE 8th International Symposium on Quality Electronic Design (ISQED'07) - San Jose, CA, USA (2007.03.26-2007.03.28)] 8th International Symposium on Quality Electronic Design (ISQED'07) - Assertion Checkers in Verification, Silicon Debug and In-Field Diagnosis

Boule, Marc, Chenard, Jean-Samuel, Zilic, Zeljko

Year:

2007

Language:

english

File:

PDF, 190 KB

english, 2007

6

[IEEE 2007 Asia and South Pacific Design Automation Conference - Yokohama, Japan (2007.01.23-2007.01.26)] 2007 Asia and South Pacific Design Automation Conference - Efficient Automata-Based Assertion-Checker Synthesis of SEREs for Hardware Emulation

Boule, Marc, Zilic, Zeljko

Year:

2007

Language:

english

File:

PDF, 179 KB

english, 2007

7

[IEEE 2008 1st Microsystems and Nanoelectronics Research Conference (MNRC 2008) - Ottawa, ON, Canada (2008.10.15-2008.10.15)] 2008 1st Microsystems and Nanoelectronics Research Conference - Assertion checkers - enablers of quality design

Boule, Marc, Zilic, Zeljko

Year:

2008

Language:

english

File:

PDF, 191 KB

english, 2008

8

Automata-based assertion-checker synthesis of PSL properties

Boulé, Marc, Zilic, Zeljko

Journal:

ACM Transactions on Design Automation of Electronic Systems

Year:

2008

Language:

english

File:

PDF, 578 KB

english, 2008

9

Theoretical and Structural Analysis of Long CC Bonds in the Adducts of Polycyanoethylene and Anthracene Derivatives and Their Connection to the Reversibility of Diels-Alder Reactions

Hirsch, Anna K. H., Reutenauer, Philippe, Le Moignan, Marc, Ulrich, Sébastien, Boul, Peter J., Harrowfield, Jack M., Jarowski, Peter D., Lehn, Jean-Marie

Journal:

Chemistry - A European Journal

Year:

2014

Language:

english

File:

PDF, 650 KB

english, 2014

10

Defining and Providing Coverage for Assertion-Based Dynamic Verification

Jason G. Tong, Marc Boulé, Zeljko Zilic

Journal:

Journal of Electronic Testing

Year:

2010

Language:

english

File:

PDF, 558 KB

english, 2010

11

Étude de cohorte sur la prévalence et les facteurs de risque de complications pulmonaires tardives chez les adultes à la suite d'un traumatisme thoracique mineur fermé

Plourde, Miville, Émond, Marcel, Lavoie, André, Guimont, Chantal, Sage, Natalie Le, Chauny, Jean-Marc, Bergeron, Éric, Vanier, Laurent, Moore, Lynne, Allain-Boulé, Nadine, Fratu, Ramona-Florina, Dufre

Journal:

Year:

2013

File:

PDF, 207 KB

2013

12

Patients With Rib Fractures Do Not Develop Delayed Pneumonia: A Prospective, Multicenter Cohort Study of Minor Thoracic Injury

Jean-Marc Chauny, Marcel Émond, Miville Plourde, Chantal Guimont, Natalie Le Sage, Laurent Vanier, Eric Bergeron, Marilyne Dufresne, Nadine Allain-Boulé, Ramona Fratu

Journal:

Annals of Emergency Medicine

Year:

2012

Language:

english

File:

PDF, 417 KB

english, 2012

13

[IEEE 2013 5th Asia Symposium on Quality Electronic Design (ASQED) - Penang, Malaysia (2013.08.26-2013.08.28)] Fifth Asia Symposium on Quality Electronic Design (ASQED 2013) - Mu-GSIM: A mutation testing simulator on GPUs

Tong, Jason G., Boule, Marc, Zilic, Zeljko

Year:

2013

Language:

english

File:

PDF, 715 KB

english, 2013

14

[IEEE 2006 International Conference on Computer Design - San Jose, CA, USA (2007.10.1-2007.10.4)] 2006 International Conference on Computer Design - Adding Debug Enhancements to Assertion Checkers for Hardware Emulation and Silicon Debug

Boule, Marc, Chenard, Jean-Samuel, Zilic, Zeljko

Year:

2006

Language:

english

File:

PDF, 288 KB

english, 2006

15

Long-term outcome of implantable cardioverter–defibrillator implantation in secondary prevention of sudden cardiac death

Boulé, Stéphane, Sémichon, Marc, Guédon-Moreau, Laurence, Drumez, Élodie, Kouakam, Claude, Marquié, Christelle, Brigadeau, François, Kacet, Salem, Potelle, Charlotte, Escande, William, Souissi, Zouhei

Journal:

Archives of Cardiovascular Diseases

Year:

2016

File:

PDF, 684 KB

2016

16

[IEEE 2013 International Symposium on Electronic System Design (ISED) - Singapore (2013.12.10-2013.12.12)] 2013 International Symposium on Electronic System Design - Efficient Data Encoding for Improving Fault Simulation Performance on GPUs

Tong, Jason G., Boule, Marc, Zilic, Zeljko

Year:

2013

Language:

english

File:

PDF, 309 KB

english, 2013

17

Distinct cytokine production by lung and blood neutrophils from children with cystic fibrosis

Corvol, Harriet, Fitting, Catherine, Chadelat, Katarina, Jacquot, Jacky, Tabary, Olivier, Boule, Michele, Cavaillon, Jean-Marc, Clement, Annick

Journal:

American journal of physiology. Lung cellular and molecular physiology

Year:

2003

Language:

english

File:

PDF, 169 KB

english, 2003

18

[IEEE 2009 IEEE International High Level Design Validation and Test Workshop (HLDVT) - San Francisco, CA, USA (2009.11.4-2009.11.6)] 2009 IEEE International High Level Design Validation and Test Workshop - Airwolf-TG: A test generator for assertion-based dynamic verification

Tong, Jason G., Boule, Marc, Zilic, Zeljko

Year:

2009

Language:

english

File:

PDF, 487 KB

english, 2009

19

Tidal wetlands of the Puget Sound region, Washington

Journal:

Year:

1981

Language:

english

File:

PDF, 2.44 MB

english, 1981

20

Pythium attrantheridium sp. nov.: taxonomy and comparison with related species

Nadine Allain-Boulé, Russell Tweddell, Marc Mazzola, Richard Bélanger, C. André Lévesque

Journal:

Mycological Research

Year:

2004

Language:

english

File:

PDF, 455 KB

english, 2004

21

Test compaction techniques for assertion-based test generation

Tong, Jason G., Boulé, Marc, Zilic, Zeljko

Journal:

ACM Transactions on Design Automation of Electronic Systems

Year:

2013

Language:

english

File:

PDF, 2.11 MB

english, 2013

22

[IEEE 2016 IEEE International High Level Design Validation and Test Workshop (HLDVT) - Santa Cruz, CA, USA (2016.10.7-2016.10.8)] 2016 IEEE International High Level Design Validation and Test Workshop (HLDVT) - Accelerating assertion assessment using GPUs

Tong, Jason G., Boule, Marc, Zilic, Zeljko

Year:

2016

Language:

english

File:

PDF, 830 KB

english, 2016

23

[IEEE 2011 IEEE 54th International Midwest Symposium on Circuits and Systems (MWSCAS) - Seoul, Korea (South) (2011.08.7-2011.08.10)] 2011 IEEE 54th International Midwest Symposium on Circuits and Systems (MWSCAS) - Generating compact assertions for control-based logic signals

Tong, Jason G., Sarraf, Danny, Boule, Marc, Zilic, Zeljko

Year:

2011

Language:

english

File:

PDF, 699 KB

english, 2011

24

Clinical prediction rule for delayed hemothorax after minor thoracic injury: a multicentre derivation and validation study

Émond, Marcel, Guimont, Chantal, Chauny, Jean-Marc, Daoust, Raoul, Bergeron, Éric, Vanier, Laurent, Moore, Lynne, Plourde, Miville, Kuimi, Batomen, Boucher, Valérie, Allain-Boulé, Nadine, Le Sage, Nat

Journal:

Year:

2017

Language:

english

File:

PDF, 522 KB

english, 2017

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски